First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
921	A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo Add to Reading List Source URL: us.metamath.org Language: English - Date: 2014-05-21 18:58:43 Propositional calculus Predicate logic Automated theorem proving Model theory First-order logic Metamath Function Substitution Axiom Logic Mathematical logic Mathematics
922	Artificial Intelligence/ Language Processing C. Montgomery Editor Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:58:04 Automated theorem proving Predicate logic Programming paradigms Grammar First-order logic Semantic network Unification Resolution Semantics Logic Mathematics Mathematical logic
923	mWuDI?D(SD&D:, D~urnD:,D:,D@rn~@~ ~rnwDrn~ 7 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-01-20 05:56:19 Rules of inference Logic programming Automated theorem proving And–or tree Algorithm Prolog Robert Kowalski Horn clause First-order logic Logic Mathematics Mathematical logic
924	THE TREATMENT OF NEGATION IN LOGIC PROGRAMS FOR REPRESENTING LEGISLATION Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-06-29 05:05:36 Science Logic programming Predicate logic Integrity constraints First-order logic Programming paradigms Logic Mathematical logic
925	On Testing Satisfiability of Tree Pattern Queries Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 01:28:11 Logic First-order logic Model theory Predicate logic Datalog FO Decomposition method Constraint logic programming Theoretical computer science Mathematical logic Constraint programming
926	Matching concepts across HOL libraries ⋆ arXiv:1405.3906v1 [cs.LO] 15 May 2014 Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-05-15 21:22:55 Logic in computer science Automated theorem proving HOL Isabelle Proof assistant First-order logic Higher-order logic Function L-system Mathematical logic Mathematics Theoretical computer science
927	A resource bounded default logic Gregory R. Wheeler∗ Centro de Inteligˆencia Artificial (CENTRIA) Departamento de Inform´atica, Universidade Nova de Lisboa[removed]Caparica, Portugal [removed] Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:34:21 Model theory Proof theory Entailment Metalogic Default logic Inference Soundness Monotonicity of entailment First-order logic Logic Logical consequence Deduction
928	144 Proceedings of epiSTEME 4, India AN ANALYSIS OF GROWTH OF KNOWLEDGE BASED ON CONCEPTS AND PREDICATES-A PRELIMINARY STUDY Add to Reading List Source URL: okeanos.files.wordpress.com Language: English - Date: 2011-01-13 06:02:36 Cognition Refined concept map Predicate Ontology Knowledge representation and reasoning Semantic network Function First-order logic Concept Knowledge representation Science Logic
929	Robustness of Evidential Probability Choh Man Teng and Gregory Wheeler Artificial Intelligence Center - CENTRIA Department of Computer Science, Universidade Nova de Lisboa[removed]Caparica, Portugal cm.teng,[removed]. Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:34:29 Philosophical logic Non-classical logic Modal logic Propositional calculus Interpretation Probabilistic logic Symbol First-order logic Entailment Logic Mathematical logic Model theory
930	An Implementation of Statistical Default Logic Gregory R. Wheeler and Carlos Dam´asio Centro de Inteligˆencia Artificial (CENTRIA) Departamento de Inform´ atica, Universidade Nova de Lisboa[removed]Caparica, Portugal Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:32:17 Non-classical logic Boolean algebra Default logic Knowledge representation Propositional calculus Stable model semantics First-order logic Answer set programming Well-formed formula Logic Mathematical logic Logic programming

UPDATE